$\forall$${\it the\_es}$:ES, $e$:E. $\neg$isrcv($e$) $\Rightarrow$ acttype($e$) $\in$ Type